Reducing the barriers to writing verified specifications
نویسندگان
چکیده
منابع مشابه
From Verified Specifications to Verifiable Software∗
Declarative specifications of digital systems often contain parts that can be automatically translated into executable code. Automated code generation, as opposed to manual code writing, eliminates a potential source of errors when a prototype implementation of these models is required. Furthermore, code generation allows for better integration of formal methods into the software development pr...
متن کاملWriting Declarative Specifications for Clauses
Modern satisfiability (SAT) solvers provide an efficient implementation of classical propositional logic. Their input language, however, is based on the conjunctive normal form (CNF) of propositional formulas. To use SAT solver technology in practice, a user must create the input clauses in one way or another. A typical approach is to write a procedural program that generates formulas on the ba...
متن کاملGetting from Design to Construction: Writing Specifications for Green Projects
often written right on the drawings. These might include a schedule of doors and windows; the type, grade, and color of the roofing material; and the like. For larger projects, the specs are provided as a separate part of the contract documents. The drawings and the specs are cross-referenced, with the basic principle that spatial relationships and dimensions belong in the drawings, while descr...
متن کاملReducing Barriers to Ethics in Neuroscience
Ethics is a growing interest for neuroscientists, but rather than signifying a commitment to the protection of human subjects, care of animals, and public understanding to which the professional community is engaged in a fundamental way, interest has been consumed by administrative overhead and the mission creep of institutional ethics reviews. Faculty, trainees, and staff (n = 605) in North Am...
متن کاملWriting JML Specifications Using Java 8 Streams
1998 CR Categories: D.1.5 [Programming Techniques] Applicative (Functional) Programming; D.2.1 [Software Engineering] Requirements/Specificationslanguages; D.2.4 [Software Engineering] Software/Program Verificationclass invariants, formal methods, programming by contract; D.3.3 [Software Engineering] Language Constructs and Featuresclasses and objects, frameworks; F.3.1 [Logics and Meanings ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2398857.2384624